множество аксиом равенства

См. также в других словарях:

• А=А — формула, выражающая принцип тождества в формальной логике; читается: А есть А , А тождественно А , А равно А , А есть то же самое, что А , А эквивалентно А . Различают онтологический и логич. аспекты принципа А = А. Онтологич. аспект означает… …   Философская энциклопедия

• Арифметика Пресбургера — Арифметика Пресбургера  это теория первого порядка описывающая натуральные числа со сложением, но в отличие от арифметики Пеано, исключающая высказывания относительно умножения. Названа в честь польского математика Мозеса Пресбургера,… …   Википедия

• РАВНОМЕРНОЕ ПРОСТРАНСТВО — множество с определенной на нем равномерной структурой. Равномерная структура (равномерность) на множестве Xопределяется заданием нек рой системы подмножеств произведения При этом система должна быть фильтром (т. е. для любых пересечение также… …   Математическая энциклопедия

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• ZFC — Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело Френкеля (ZF) является стандартной системой аксиом для… …   Википедия

• Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом  утверждений, принимаемых без доказательства,  из которых выводятся все теоремы и у …   Википедия

• АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… …   Математическая энциклопедия

• ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

• Вещественное число — Вещественное, или действительное число [1] математическая абстракция, возникшая из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких операций как извлечение корня, вычисление логарифмов, решение… …   Википедия

• КОЛИЧЕСТВО — филос. категория, отображающая общее в качественно однородных вещах и явлениях. Чтобы выявить в них это общее, необходимо, во первых, установить их однородность, т.е. показать, в каком именно отношении они эквивалентны между собою, во вторых,… …   Философская энциклопедия

• КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …   История Философии: Энциклопедия